Monadic vs adjoint decomposition

نویسندگان

چکیده

It is known that the so-called monadic decomposition, applied to adjunction connecting category of bialgebras vector spaces via tensor and primitive functors , returns usual between (restricted) Lie algebras . Moreover, in this framework, notions augmented monad combinatorial rank play a central role. In order set these results into wider context, we are led substitute decomposition by what call adjoint decomposition. This construction has advantage reducing computational complexity when compared first one. We connect two decompositions means an embedding investigate its properties using relative version Grothendieck fibration As application, setting, notion monad, introduce that, among other things, expected give some hints on length

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Monadic NP vs. Monadic co-NP

It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic (1 ;). Monadic NP is the class of problems expressible in monadic Z;, i.e., 1: with the restriction that the second-order quantifiers range only over sets (as opposed to ranging over, say, binary relations). We prove that connectivity of finite graph...

متن کامل

Domain Decomposition vs

Domain Decomposition (DD) techniques are not only the basic tools for data partitioning but also methods for constructing new parallel pde solvers. Domain Decomposition, mesh adaption and load balance seem to be in contradiction to the eecient use of massively parallel computers with serveral hundered, or even several thousand powerful, distributed memory processors. In the case of plane bounda...

متن کامل

Spectral Decomposition of Self-adjoint Quadratic Pencils and Its Applications

Spectral decomposition is of fundamental importance in many applications. Generally speaking, spectral decomposition provides a canonical representation of a linear operator over a vector space in terms of its eigenvalues and eigenfunctions. The canonical form often facilitates discussions which, otherwise, would be complicated and involved. This paper generalizes the classical results of eigen...

متن کامل

Domain Decomposition vs. Concurrent Multigrid Domain Decomposition vs. Concurrent Multigrid 1

We compare the performance on a concurrent computer of two domaindecomposition methods and a full-multigrid method for solving the Poisson equation on a square. Independent of the granularity of the computation, domain decomposition is almost always signi cantly slower than multigrid. Our largest computations use a multicomputer with 128 nodes to solve a problem on a 2048 2048 grid. In these co...

متن کامل

Monadic Fold, Monadic Build, Monadic Short Cut Fusion

Short cut fusion improves the efficiency of modularly constructed programs by eliminating intermediate data structures produced by one program component and immediately consumed by another. We define a combinator which expresses uniform production of data structures in monadic contexts, and is the natural counterpart to the well-known monadic fold which consumes them. Like the monadic fold, our...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2022

ISSN: ['1873-1376', '0022-4049']

DOI: https://doi.org/10.1016/j.jpaa.2021.106945